Lean 4 デバッグ
#Fleeting_Notes
Lean 4 デバッグ(Lean 4 debug)
code:lean.hs
Lean4 で print デバッグをする
Debugging - Lean Manual
確認用
Q. Lean 4 デバッグ
調査用
Google.icon
Lean 4 デバッグ(日)
Google.icon
Lean 4 debug(英)